Java bytecode

Results: 201



#Item
41Retargeting Android Applications to Java Bytecode Damien Octeau Somesh Jha Patrick McDaniel

Retargeting Android Applications to Java Bytecode Damien Octeau Somesh Jha Patrick McDaniel

Add to Reading List

Source URL: siis.cse.psu.edu

Language: English - Date: 2016-01-26 11:00:00
42Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting M. Brockschmidt, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany RTA 2011, Novi Sad

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting M. Brockschmidt, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany RTA 2011, Novi Sad

Add to Reading List

Source URL: verify.rwth-aachen.de

Language: English - Date: 2015-04-16 09:49:59
    43Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting∗ Marc Brockschmidt, Carsten Otto, Jürgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract

    Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting∗ Marc Brockschmidt, Carsten Otto, Jürgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract

    Add to Reading List

    Source URL: verify.rwth-aachen.de

    Language: English - Date: 2015-04-16 09:49:59
      44A Non-Null Annotation Inferencer for Java Bytecode ∗ Laurent Hubert CNRS/IRISA

      A Non-Null Annotation Inferencer for Java Bytecode ∗ Laurent Hubert CNRS/IRISA

      Add to Reading List

      Source URL: www.trebuh.net

      Language: English - Date: 2016-01-16 09:07:20
        45Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

        Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

        Add to Reading List

        Source URL: verify.rwth-aachen.de

        Language: English - Date: 2015-04-16 09:49:59
          46Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language

          Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language

          Add to Reading List

          Source URL: dept.cs.williams.edu

          Language: English - Date: 2007-08-07 13:03:20
            47NIT: a non-null Annotation Inferencer for Java Bytecode L a u r e n t H u b e rt

            NIT: a non-null Annotation Inferencer for Java Bytecode L a u r e n t H u b e rt

            Add to Reading List

            Source URL: www.trebuh.net

            Language: English - Date: 2016-01-16 09:07:20
              48Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

              Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

              Add to Reading List

              Source URL: verify.rwth-aachen.de

              Language: English - Date: 2015-04-16 09:49:59
                49Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

                Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

                Add to Reading List

                Source URL: verify.rwth-aachen.de

                Language: English - Date: 2015-04-16 09:49:59